# (decoded with TMPL 129) long integer: 40000